Higher categories, colimits, and the blob complex.
نویسندگان
چکیده
We summarize our axioms for higher categories, and describe the "blob complex." Fixing an n-category , the blob complex associates a chain complex B(*)(W;C) to any n-manifold W. The zeroth homology of this chain complex recovers the usual topological quantum field theory invariants of W. The higher homology groups should be viewed as generalizations of Hochschild homology (indeed, when W = S(1), they coincide). The blob complex has a very natural definition in terms of homotopy colimits along decompositions of the manifold W. We outline the important properties of the blob complex and sketch the proof of a generalization of Deligne's conjecture on Hochschild cohomology and the little discs operad to higher dimensions.
منابع مشابه
On Sifted Colimits and Generalized Varieties
Filtered colimits, i.e., colimits over schemes D such that D-colimits in Set commute with finite limits, have a natural generalization to sifted colimits: these are colimits over schemes D such that D-colimits in Set commute with finite products. An important example: reflexive coequalizers are sifted colimits. Generalized varieties are defined as free completions of small categories under sift...
متن کاملA classification of accessible categories
For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a catego...
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملA characterisation of algebraic exactness
An algebraically exact category is one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Adámek, Lawvere and Rosický: they characterised them as the categories with small lim...
متن کاملFibrations and Homotopy Colimits of Simplicial Sheaves
We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors between categories of simplicial sheaves preserve homotopy pullback squares. The method we use introduces the notion of a sharp map, which is analogous to the no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Proceedings of the National Academy of Sciences of the United States of America
دوره 108 20 شماره
صفحات -
تاریخ انتشار 2011